Optimal. Leaf size=421 \[ \frac {b e g j m n \log (x)}{d i}-\frac {b e g j m n \log (d+e x)}{2 d i}-\frac {g j m \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 i x}-\frac {g j^2 m \log \left (-\frac {e x}{d}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 i^2}-\frac {b e g j m n \log (i+j x)}{2 d i}+\frac {g j^2 m \left (a+b \log \left (c (d+e x)^n\right )\right ) \log \left (\frac {e (i+j x)}{e i-d j}\right )}{2 i^2}-\frac {b e n \left (f+g \log \left (h (i+j x)^m\right )\right )}{2 d x}-\frac {b e^2 n \log \left (-\frac {j x}{i}\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )}{2 d^2}+\frac {b e^2 n \log \left (-\frac {j (d+e x)}{e i-d j}\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )}{2 d^2}-\frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )}{2 x^2}+\frac {b g j^2 m n \text {Li}_2\left (-\frac {j (d+e x)}{e i-d j}\right )}{2 i^2}-\frac {b g j^2 m n \text {Li}_2\left (1+\frac {e x}{d}\right )}{2 i^2}+\frac {b e^2 g m n \text {Li}_2\left (\frac {e (i+j x)}{e i-d j}\right )}{2 d^2}-\frac {b e^2 g m n \text {Li}_2\left (1+\frac {j x}{i}\right )}{2 d^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.32, antiderivative size = 421, normalized size of antiderivative = 1.00, number of steps
used = 23, number of rules used = 11, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.344, Rules used = {2489, 46,
2463, 2442, 36, 29, 31, 2441, 2352, 2440, 2438} \begin {gather*} \frac {b e^2 g m n \text {PolyLog}\left (2,\frac {e (i+j x)}{e i-d j}\right )}{2 d^2}-\frac {b e^2 g m n \text {PolyLog}\left (2,\frac {j x}{i}+1\right )}{2 d^2}+\frac {b g j^2 m n \text {PolyLog}\left (2,-\frac {j (d+e x)}{e i-d j}\right )}{2 i^2}-\frac {b g j^2 m n \text {PolyLog}\left (2,\frac {e x}{d}+1\right )}{2 i^2}-\frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )}{2 x^2}-\frac {g j^2 m \log \left (-\frac {e x}{d}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 i^2}+\frac {g j^2 m \log \left (\frac {e (i+j x)}{e i-d j}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 i^2}-\frac {g j m \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 i x}-\frac {b e^2 n \log \left (-\frac {j x}{i}\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )}{2 d^2}+\frac {b e^2 n \log \left (-\frac {j (d+e x)}{e i-d j}\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )}{2 d^2}-\frac {b e n \left (f+g \log \left (h (i+j x)^m\right )\right )}{2 d x}+\frac {b e g j m n \log (x)}{d i}-\frac {b e g j m n \log (d+e x)}{2 d i}-\frac {b e g j m n \log (i+j x)}{2 d i} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 29
Rule 31
Rule 36
Rule 46
Rule 2352
Rule 2438
Rule 2440
Rule 2441
Rule 2442
Rule 2463
Rule 2489
Rubi steps
\begin {align*} \int \frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{x^3} \, dx &=-\frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 x^2}+\frac {1}{2} (g j m) \int \frac {a+b \log \left (c (d+e x)^n\right )}{x^2 (392+j x)} \, dx+\frac {1}{2} (b e n) \int \frac {f+g \log \left (h (392+j x)^m\right )}{x^2 (d+e x)} \, dx\\ &=-\frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 x^2}+\frac {1}{2} (g j m) \int \left (\frac {a+b \log \left (c (d+e x)^n\right )}{392 x^2}-\frac {j \left (a+b \log \left (c (d+e x)^n\right )\right )}{153664 x}+\frac {j^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{153664 (392+j x)}\right ) \, dx+\frac {1}{2} (b e n) \int \left (\frac {f+g \log \left (h (392+j x)^m\right )}{d x^2}-\frac {e \left (f+g \log \left (h (392+j x)^m\right )\right )}{d^2 x}+\frac {e^2 \left (f+g \log \left (h (392+j x)^m\right )\right )}{d^2 (d+e x)}\right ) \, dx\\ &=-\frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 x^2}+\frac {1}{784} (g j m) \int \frac {a+b \log \left (c (d+e x)^n\right )}{x^2} \, dx-\frac {\left (g j^2 m\right ) \int \frac {a+b \log \left (c (d+e x)^n\right )}{x} \, dx}{307328}+\frac {\left (g j^3 m\right ) \int \frac {a+b \log \left (c (d+e x)^n\right )}{392+j x} \, dx}{307328}+\frac {(b e n) \int \frac {f+g \log \left (h (392+j x)^m\right )}{x^2} \, dx}{2 d}-\frac {\left (b e^2 n\right ) \int \frac {f+g \log \left (h (392+j x)^m\right )}{x} \, dx}{2 d^2}+\frac {\left (b e^3 n\right ) \int \frac {f+g \log \left (h (392+j x)^m\right )}{d+e x} \, dx}{2 d^2}\\ &=-\frac {g j m \left (a+b \log \left (c (d+e x)^n\right )\right )}{784 x}-\frac {g j^2 m \log \left (-\frac {e x}{d}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{307328}+\frac {g j^2 m \left (a+b \log \left (c (d+e x)^n\right )\right ) \log \left (\frac {e (392+j x)}{392 e-d j}\right )}{307328}-\frac {b e n \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d x}-\frac {b e^2 n \log \left (-\frac {j x}{392}\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d^2}+\frac {b e^2 n \log \left (-\frac {j (d+e x)}{392 e-d j}\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d^2}-\frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 x^2}+\frac {1}{784} (b e g j m n) \int \frac {1}{x (d+e x)} \, dx+\frac {(b e g j m n) \int \frac {1}{x (392+j x)} \, dx}{2 d}+\frac {\left (b e^2 g j m n\right ) \int \frac {\log \left (-\frac {j x}{392}\right )}{392+j x} \, dx}{2 d^2}-\frac {\left (b e^2 g j m n\right ) \int \frac {\log \left (\frac {j (d+e x)}{-392 e+d j}\right )}{392+j x} \, dx}{2 d^2}+\frac {\left (b e g j^2 m n\right ) \int \frac {\log \left (-\frac {e x}{d}\right )}{d+e x} \, dx}{307328}-\frac {\left (b e g j^2 m n\right ) \int \frac {\log \left (\frac {e (392+j x)}{392 e-d j}\right )}{d+e x} \, dx}{307328}\\ &=-\frac {g j m \left (a+b \log \left (c (d+e x)^n\right )\right )}{784 x}-\frac {g j^2 m \log \left (-\frac {e x}{d}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{307328}+\frac {g j^2 m \left (a+b \log \left (c (d+e x)^n\right )\right ) \log \left (\frac {e (392+j x)}{392 e-d j}\right )}{307328}-\frac {b e n \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d x}-\frac {b e^2 n \log \left (-\frac {j x}{392}\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d^2}+\frac {b e^2 n \log \left (-\frac {j (d+e x)}{392 e-d j}\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d^2}-\frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 x^2}-\frac {b g j^2 m n \text {Li}_2\left (1+\frac {e x}{d}\right )}{307328}-\frac {b e^2 g m n \text {Li}_2\left (1+\frac {j x}{392}\right )}{2 d^2}-\frac {\left (b e^2 g m n\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {e x}{-392 e+d j}\right )}{x} \, dx,x,392+j x\right )}{2 d^2}+2 \frac {(b e g j m n) \int \frac {1}{x} \, dx}{784 d}-\frac {\left (b e^2 g j m n\right ) \int \frac {1}{d+e x} \, dx}{784 d}-\frac {\left (b g j^2 m n\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {j x}{392 e-d j}\right )}{x} \, dx,x,d+e x\right )}{307328}-\frac {\left (b e g j^2 m n\right ) \int \frac {1}{392+j x} \, dx}{784 d}\\ &=\frac {b e g j m n \log (x)}{392 d}-\frac {b e g j m n \log (d+e x)}{784 d}-\frac {g j m \left (a+b \log \left (c (d+e x)^n\right )\right )}{784 x}-\frac {g j^2 m \log \left (-\frac {e x}{d}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{307328}-\frac {b e g j m n \log (392+j x)}{784 d}+\frac {g j^2 m \left (a+b \log \left (c (d+e x)^n\right )\right ) \log \left (\frac {e (392+j x)}{392 e-d j}\right )}{307328}-\frac {b e n \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d x}-\frac {b e^2 n \log \left (-\frac {j x}{392}\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d^2}+\frac {b e^2 n \log \left (-\frac {j (d+e x)}{392 e-d j}\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 d^2}-\frac {\left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (392+j x)^m\right )\right )}{2 x^2}+\frac {b g j^2 m n \text {Li}_2\left (-\frac {j (d+e x)}{392 e-d j}\right )}{307328}-\frac {b g j^2 m n \text {Li}_2\left (1+\frac {e x}{d}\right )}{307328}-\frac {b e^2 g m n \text {Li}_2\left (1+\frac {j x}{392}\right )}{2 d^2}+\frac {b e^2 g m n \text {Li}_2\left (\frac {e (392+j x)}{392 e-d j}\right )}{2 d^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.18, size = 765, normalized size = 1.82 \begin {gather*} -\frac {b e^2 n \log (x) \left (f+g \left (-m \log (i+j x)+\log \left (h (i+j x)^m\right )\right )\right )}{2 d^2}+\frac {b e^2 n \log (d+e x) \left (f+g \left (-m \log (i+j x)+\log \left (h (i+j x)^m\right )\right )\right )}{2 d^2}-\frac {b n \log (d+e x) \left (f+g \left (-m \log (i+j x)+\log \left (h (i+j x)^m\right )\right )\right )}{2 x^2}-\frac {\left (a+b \left (-n \log (d+e x)+\log \left (c (d+e x)^n\right )\right )\right ) \left (f+g \left (-m \log (i+j x)+\log \left (h (i+j x)^m\right )\right )\right )}{2 x^2}-\frac {e \left (b f n+b g n \left (-m \log (i+j x)+\log \left (h (i+j x)^m\right )\right )\right )}{2 d x}+\frac {1}{2} a g m \left (\frac {j^2 (i+j x)}{i^3 \left (1-\frac {i+j x}{i}\right )}-\left (\frac {j^2 (i+j x)^2}{i^4 \left (1-\frac {i+j x}{i}\right )^2}+\frac {2 j^2 (i+j x)}{i^3 \left (1-\frac {i+j x}{i}\right )}\right ) \log (i+j x)-\frac {j^2 \log \left (1-\frac {i+j x}{i}\right )}{i^2}\right )+\frac {1}{2} b g m \left (-n \log (d+e x)+\log \left (c (d+e x)^n\right )\right ) \left (\frac {j^2 (i+j x)}{i^3 \left (1-\frac {i+j x}{i}\right )}-\left (\frac {j^2 (i+j x)^2}{i^4 \left (1-\frac {i+j x}{i}\right )^2}+\frac {2 j^2 (i+j x)}{i^3 \left (1-\frac {i+j x}{i}\right )}\right ) \log (i+j x)-\frac {j^2 \log \left (1-\frac {i+j x}{i}\right )}{i^2}\right )+\frac {1}{2} b g m n \left (-\frac {\log (d+e x) \log (i+j x)}{x^2}+j \left (\frac {\frac {e \log (x)}{d}-\frac {e \log (d+e x)}{d}-\frac {\log (d+e x)}{x}}{i}-\frac {j \left (\log \left (-\frac {e x}{d}\right ) \log (d+e x)+\text {Li}_2\left (\frac {d+e x}{d}\right )\right )}{i^2}+\frac {j^2 \left (\frac {\log (d+e x) \log \left (\frac {e (i+j x)}{e i-d j}\right )}{j}+\frac {\text {Li}_2\left (\frac {j (d+e x)}{-e i+d j}\right )}{j}\right )}{i^2}\right )+e \left (\frac {\frac {j \log (x)}{i}-\frac {j \log (i+j x)}{i}-\frac {\log (i+j x)}{x}}{d}-\frac {e \left (\log (x) \left (\log (i+j x)-\log \left (1+\frac {j x}{i}\right )\right )-\text {Li}_2\left (-\frac {j x}{i}\right )\right )}{d^2}+\frac {e^2 \left (\frac {\log \left (\frac {j (d+e x)}{-e i+d j}\right ) \log (i+j x)}{e}+\frac {\text {Li}_2\left (\frac {e (i+j x)}{e i-d j}\right )}{e}\right )}{d^2}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.06, size = 0, normalized size = 0.00 \[\int \frac {\left (a +b \ln \left (c \left (e x +d \right )^{n}\right )\right ) \left (f +g \ln \left (h \left (j x +i \right )^{m}\right )\right )}{x^{3}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\left (a+b\,\ln \left (c\,{\left (d+e\,x\right )}^n\right )\right )\,\left (f+g\,\ln \left (h\,{\left (i+j\,x\right )}^m\right )\right )}{x^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________